Separate compilation in a modula-2 compiler

Separate compilation in modula-2 and the structure of the modula-2 compiler on the personal computer Lilith

Supporting Separate Compilation in a Defunctionalizing Compiler

Defunctionalization is generally considered a whole-program transformation and thus incompatible with separate compilation. In this paper, we formalize a modular variant of defunctionalization which can support separate compilation. Our technique allows modules in a Haskell-like language to be separately defunctionalized and compiled, then linked together to generate an executable program. We p...

The ACK Modula-2 Compiler

Modula and its Compilation

Modula an extension of Modula is a program ming language for writing highly parallel programs in a machine independent problem oriented way The novel attributes of Modula are that programs are independent of the number of processors independent of whether memory is shared or distributed and inde pendent of the control modes SIMD or MIMD of a parallel machine This article brie y describes Modula...

Separate Compilation for

This paper presents the outline of a module system for the Scheme programming language in order to solve several problems commonly encountered with contemporary implementations. These problems include the lack of support for separate compilation and crossmodule type checking as well as the necessity for non-standard language extensions to aid certain compiler optimizations like open compilation...